QOSet $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:DSet$\mid$ Preorder($\mid$$s$$\mid$;$a$,$b$.$a$ $\leq$ $b$)\}